1 { /x x x } apply addi